課程名稱 |
程式語言 Programming Languages |
開課學期 |
104-1 |
授課對象 |
管理學院 資訊管理學系 |
授課教師 |
穆信成 |
課號 |
IM3002 |
課程識別碼 |
705 20100 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期四2,3,4(9:10~12:10) |
上課地點 |
管二305 |
備註 |
本課程中文授課,使用英文教科書。 總人數上限:100人 |
課程網頁 |
http://flolac.iis.sinica.edu.tw/pl2015 |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
- 程式語言是一種形式語言,作為思考的工具。我們用程式語言表達概念,也用程式語
言中的形式規則檢驗程式的正確性。領域不同、目的不同,適合的程式語言也不同。
一個語言如果不改變你的思考方式,就不值得學 (Alan Peris)。
- 只要定義出資料型態,很多程式都可用歸納法寫出。
- 好的型別系統常有只要型別對,程式就會對的特性。
- 型別系統與邏輯有密切關係。計算科學的發展也和數學/邏輯學界的潮流息息相關。
- 有良好性質的語言可用數學推衍確保正確性,甚至可以從 specification 把
程式「算」出來。
- 許多程式語言的特性,如傳值方式、變數範疇、lazy/eager evaluation 等等
的「意義」(語意)都可用數學方式描述。
- 如 C 之類的 imperative 語言之程式的正確性也可以證明。寫一個 imperative
程式的關鍵是迴圈不變量。
|
課程目標 |
瞭解程式語言在語法、語意、與實務面向的課題。熟悉數種程式設計典範,
作為日後輔助思維與規劃的公據。 |
課程要求 |
已修過一門程式設計課程
|
預期每週課後學習時數 |
|
Office Hours |
另約時間 |
指定閱讀 |
|
參考書目 |
Programming in Haskell, by Graham Hutton.
Cambridge University Press, 2007
Introduction to Functional Programming using Haskell (2nd Edition), by Richard Bird.
Prentice Hall 1998
|
評量方式 (僅供參考) |
|
|